Typed Nix
#Nix
昨今の流れに乗り 少なくとも「静的型付きで記述可能かつ、従来のNix Expressionに変換可能」を要件としたNix Expression 2(ツー)みたいな試みってないのだろうか
JS-TSの関係と同じようにスーパーセットTypedNixを作ることはそもそも可能で、実用的なのか？（例として適切なのかは分からないがプロトタイプ汚染ベースで書かれたJavaScriptに型を当てるみたいな行為になりそう）
Gabriella Gonzalez
による考察
The hard part of type-checking Nix (外部記事)
https://www.haskellforall.com/2022/03/the-hard-part-of-type-checking-nix.html?m=1